$\forall$$i$:$\mathbb{Z}$. $\mid$$i$$\mid$ = $\mid${-}$i$$\mid$ $\in$ $\mathbb{Z}$